Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Jacques Jaray »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Jacques Hubert < Jacques Jaray < Jacques Julliand  Facettes :

List of bibliographic references indexed by Jacques Jaray

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]
Ident.Authors (with country if any)Title
002F92 (2010) Olfa Mosbahi [France, Tunisie] ; Jacques Jaray [France]B événementiel et les propriétés de vivacité
004693 (2007-10-17) Olfa Mosbahi [France] ; Jacques Jaray [France] ; Samir Ben Ahmed [Tunisie]Spécification et vérification des propriétés de vivacité en B événementiel
004798 (2007-07-22) Olfa Mosbahi [France] ; Jacques Jaray [France]Specification and Proof of Liveness Properties in B Event Systems
004799 (2007-07-22) Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France]A Formal Approach for the Development of Automated Systems
005156 (2006-04-03) Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France]Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA
005185 (2006-03-08) Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [France]A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device
005186 (2006-03-08) Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [Tunisie]A Formal Development Method of Control Systems using Event B Approach
005C59 (2005) Olfa Mosbahi ; Jacques Jaray ; Leila Jemni Ben AyedA formal development approach of control systems using the event based B approch, Case study : A parcel sorting device
006638 (2004-06-01) Olfa Mosbahi [France] ; Jacques Jaray [France]Développement formel de systèmes de contrôle-commande.
006708 (2004) Olfa Mosbahi ; Jacques JarayReprésentation du temps en B événementiel pour la modélisation des systèmes temps réel
006718 (2004) Olfa Mosbahi ; Jacques JarayUne démarche formelle de développement de systèmes de contrôle-commande
006D48 (2004) Olfa Mosbahi [France] ; Jacques Jaray [France]Une démarche formelle de développement de systèmes de contrôle-commande.
006D70 (2004) Olfa Mosbahi [France] ; Jacques Jaray [France]Représentation du temps en B événementiel pour la modélisation des systèmes de temps réel.
007F32 (2002-10-21) Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France]A Specification and Validation Technique Based on STATEMATE and FNLOG
008411 (2002) Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques JarayA Specification and Validation Technique Based on STATEMATE and FNLOG
008C86 (2001-06) Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Mery [France]Utilisation de B pour l'aide à la spécification d'un système de diagnostic
009413 (2001) Dominique Cansell [France] ; Jacques Jaray [France]Utilisation de B pour l'aide à la spécification d'un système de diagnostic
009935 (2000) Dominique Cansell [France] ; Jacques Jaray ; Dominique Méry [France]Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.
009A20 (2000) Jacques JarayFixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming
009A64 (2000) Jacques Jaray ; Olivier GalibertA Data-Parallel Implementation of the Gauss-Seidel Iteration Method Applied to the Sliding Box Problem
00A042 (2000) Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Méry [France]Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Jacques Jaray" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Jacques Jaray" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Jacques Jaray
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022